Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Optimal Communication Unbalanced Private Set Union
arxiv.org·4d
🔐Homomorphic Encryption
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
pyaccdb: Python library for Microsoft Access .accdb files
yingtongli.me·18h
🔤EBCDIC Mining
Flag this post
How I Use AI To Write Regex Without Memorizing Anything
dev.to·1h·
Discuss: DEV
🔍RegEx Engines
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·9h
⚛️Quantum Tape
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Using Interpretable Machine Learning to Extend Heterogeneous Antibody-Virus Datasets
blog.wolfram.com·1d
🗂️Vector Databases
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Show HN: MQ-AGI A neuro-symbolic architecture for modular AGI
news.ycombinator.com·3d·
Discuss: Hacker News
⚛️Quantum Circuits
Flag this post
Adaptive Clock Distribution Network Synchronization via Dynamic FPGA Reconfiguration & Bayesian Inference
dev.to·17h·
Discuss: DEV
🔍FPGA Verification
Flag this post
Cryptology Group Held an Election, but Can’t Decrypt the Results
nytimes.com·1d·
🔐Archive Cryptanalysis
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Guessing Decoding of Short Blocklength Codes
arxiv.org·5d
Sphere Packing
Flag this post